Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·1d
⚖️Hoare Logic
Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·21h·
Discuss: Hacker News
⚙️TLA+
Proving that every program halts
ntietz.com·2d
👑Isabelle
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·14h
🧮Prolog Parsing
Cactus Language • Syntax 11
inquiryintoinquiry.com·1d
📝Concrete Syntax
Machine Learning Fundamentals: accuracy with python
dev.to·23h·
Discuss: DEV
👁️Observatory Systems
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
How to Speed Up TPRM Approvals with Spectra Assure
reversinglabs.com·2h
🔒Hardware Attestation
Program Execution, follow-up
windowsir.blogspot.com·2h·
Discuss: www.blogger.com
⚡Performance Tools
LFCS Seminar Friday 27th June: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
In the Wild: Malware Prototype with Embedded Prompt Injection
research.checkpoint.com·2h
🦠Malware Analysis
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
PEGTL -- Parsing Expression Grammar Template Library
github.com·15h·
Discuss: Hacker News
🔗Parser Combinators
How to (Almost) solve cybersecurity once and for all
adaptive.live·18h·
Discuss: Hacker News
🔐Systems Hardening
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·10h
🔍Concolic Testing
Computational Complexity of Model-Checking Quantum Pushdown Systems
arxiv.org·1d
🔐Quantum Security
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·13h·
Discuss: Hacker News
🦀Rust Macros
LLM Agent Lineages with Active Death and Rebirth
danieltan.weblog.lol·1d·
Discuss: Hacker News
⚙️TLA+
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Playwright MCP Server Is Here: Let's Integrate It!
hackernoon.com·1d
🎬WebCodecs API